mechanization of mathematics
数学机械化
热门查询
- join vt. 参加；结合；连接 vi. 加入；参加；结合 n. 结合；连接；接合点 n. (Join)人名；(法)茹安
- homeliness n. 朴素；寻常；粗野
- rule of law [网络] 法治；依法治国；依法而治
- histologically 组织结构上地
- hardened adj. 变硬的；坚定的 v. 坚定，变硬（harden的过去分词）
- janey [女子名] 詹妮 Jane,Jean,Joan,Jo(h)anna等的昵称
- Byronic adj. 冷笑而浪漫的；拜伦的，拜伦风格的
- circularly adv. 循环地；圆地
- RUSHTON [人名] [英格兰人姓氏] 拉什顿住所名称，来源于古英语，含义是“灯心草+圈用地，居留地”(rushes +enclosure,settlement); [地名] [英国、英国] 拉什顿
- piloting n. 领港；近岸航行法；地标领航；半工厂性检查 v. 驾驶（pilot的ing形式）；领航
- knobby adj. 多节的；多瘤的；多疙瘩的
- reinstall vt. 重新设置，重新安装；使从新正式就职
- pseudoephedrine n. 假麻黄碱
- conceptual adj. 概念上的
- resonator n. [声] 共鸣器，共鸣体；共振器
- vicariously adv. 代理地，担任代理者地；间接感受到地
- wenders (wender 的复数) [人名] 温德
- goal n. 目标；球门，得分数；终点 vi. 攻门，射门得分
- Sanskrit n. 梵文 adj. 梵文的
- GUIL n. (Guil)人名；(西、法)吉尔
考试词汇表
- test requirement
- test result tape
- test sensitizing
- test strain line
- test switchboard
- test temperature
- test tube babies
- test tube basket
- test tube holder
- test tube method
- test vector file
- test(ing) liquid
- test, diagnostic
- test-letter test
- test-preparation
- test-tube babies
- test-tube holder
- testa dolichoris
- testa praeparata
- testa testudinis
